LATOS A Lightweight Animation Tool for Operational Semantics
نویسنده
چکیده
A simple tool is proposed to aid in the development of op erational semantics The tool supports publication qual ity rendering using LTEX execution and animation us ing a functional programming system and derivation tree browsing using Netscape The tool has been implemented and it has been used on a large subset of the Java Vir tual Machine as well as a number of relatively small lan guages The tool helps to check that a speci cation is operationally conservative
منابع مشابه
Latos { a Lightweight Animation Tool for Operational Semantics Latos { a Lightweight Animation Tool for Operational Semantics
A simple tool is proposed to aid in the development of operational semantics. The tool supports publication quality rendering using L A T E X, execution and animation using a functional programming system, and derivation tree browsing using Netscape. The tool has been implemented and it has been used on a large subset of the Java Virtual Machine, as well as a number of relatively small language...
متن کاملLATOS { A Lightweight Animation Tool for Operational SemanticsPieter
A lightweight tool is proposed to aid in the development of operational semantics. To use latos an operational semantics must be expressed in its metalanguage , which itself is a superset of Miranda. The latos compiler is smaller than comparable tools, yet latos is powerful enough to support publication quality rendering using L A T E X, fast enough to provide competitive execution and animatio...
متن کاملUsing Netscape to Browse Proof Trees from Operational Semantics
A simple tool is described to aid in the development of operational semantics. The tool supports publication quality rendering using LTEX, animation using a functional programming system, and derivation tree browsing using Netscape. The tool has been used on a large subset of the Java Virtual Machine, as well as a number of relatively small languages.
متن کاملLETOS - a lightweight execution tool for operational semantics
syntax Curried ADT Uncurried ADT Uncurried ADT + list arity Parsing no no yes (Metal)
متن کاملOperational Semantics for Visual Simulation in PARAGON
In the case of safety-critical systems simulation is more credible when it is derived through a mathematically sound interpretation of a speciication. In this paper, we describe the foundation and tool to support visual simulation of speciications within PARAGON, a toolset for the formal speciication, analysis and testing of real-time, resource-bound systems. Visual simulation executes a real-t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997